Local search

Results: 811



#Item
131Stop and Search End of Year Performance Report Reporting Period: 1st April 2014 – 31st March 2015 Author: PS 3211 Mills, Local Policing Support Unit Overview of Performance Data

Stop and Search End of Year Performance Report Reporting Period: 1st April 2014 – 31st March 2015 Author: PS 3211 Mills, Local Policing Support Unit Overview of Performance Data

Add to Reading List

Source URL: www.essex.police.uk

Language: English - Date: 2015-05-15 07:02:35
    132Depth-Driven Circuit-Level Stochastic Local Search for SAT Anton Belov∗ University College Dublin Ireland Matti J¨arvisalo†

    Depth-Driven Circuit-Level Stochastic Local Search for SAT Anton Belov∗ University College Dublin Ireland Matti J¨arvisalo†

    Add to Reading List

    Source URL: anton.belov-mcdowell.com

    Language: English
      133Speeding-up Non-Clausal Local Search for Propositional Satisfiability with Clause Learning Z. Stachniak A. Belov

      Speeding-up Non-Clausal Local Search for Propositional Satisfiability with Clause Learning Z. Stachniak A. Belov

      Add to Reading List

      Source URL: anton.belov-mcdowell.com

      Language: English
        134Local_Search_Infographic_V9

        Local_Search_Infographic_V9

        Add to Reading List

        Source URL: www.visitme360.com

        Language: English
          135Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics Tomáš Müller1,Roman Barták1, Hana Rudová2 1

          Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics Tomáš Müller1,Roman Barták1, Hana Rudová2 1

          Add to Reading List

          Source URL: muller.unitime.org

          Language: English - Date: 2007-06-01 09:39:14
            136Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability Anton Belov1⋆ and Matti J¨arvisalo2⋆⋆ 1 Complex and Adaptive Systems Laboratory, University College Dublin, Ireland

            Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability Anton Belov1⋆ and Matti J¨arvisalo2⋆⋆ 1 Complex and Adaptive Systems Laboratory, University College Dublin, Ireland

            Add to Reading List

            Source URL: anton.belov-mcdowell.com

            Language: English
              137Today • Finish up heuristics from last time Introduction to Artificial Intelligence COMPCOMPLecture 3: Local Search

              Today • Finish up heuristics from last time Introduction to Artificial Intelligence COMPCOMPLecture 3: Local Search

              Add to Reading List

              Source URL: www.cs.du.edu

              Language: English - Date: 2014-04-01 15:46:39
                138Speeding-up Non-Clausal Local Search for Propositional Satisfiability with Clause Learning Zbigniew Stachniak and Anton Belov ⋆ Department of Computer Science and Engineering, York University, Toronto, Canada {zbigniew

                Speeding-up Non-Clausal Local Search for Propositional Satisfiability with Clause Learning Zbigniew Stachniak and Anton Belov ⋆ Department of Computer Science and Engineering, York University, Toronto, Canada {zbigniew

                Add to Reading List

                Source URL: anton.belov-mcdowell.com

                Language: English
                  139Neighborhood Composition: A Parallelization of Local Search Algorithms Yuichi Handa, Hirotaka Ono, Kunihiko Sadakane, and Masafumi Yamashita Dept. of Electrical Engineering and Computer Science, Kyushu University {u1,ono

                  Neighborhood Composition: A Parallelization of Local Search Algorithms Yuichi Handa, Hirotaka Ono, Kunihiko Sadakane, and Masafumi Yamashita Dept. of Electrical Engineering and Computer Science, Kyushu University {u1,ono

                  Add to Reading List

                  Source URL: tcslab.csce.kyushu-u.ac.jp

                  Language: English
                    140BLASTer: A hub-based tool for bioinformatics B. Cotton1 , C. Thompson1 , and B. Raub1 1 Purdue University, West Lafayette, IN, USA Abstract— Basic Local Alignment Search Tool (BLAST) is a widely used sequencing tool in

                    BLASTer: A hub-based tool for bioinformatics B. Cotton1 , C. Thompson1 , and B. Raub1 1 Purdue University, West Lafayette, IN, USA Abstract— Basic Local Alignment Search Tool (BLAST) is a widely used sequencing tool in

                    Add to Reading List

                    Source URL: funnelfiasco.com

                    Language: English - Date: 2015-12-29 17:30:25